An Architecture for Proactive Timed Web Service Compositions
نویسندگان
چکیده
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational business goals. According to organizational rules temporal constraints, like deadlines, must be defined for processes. Violation of these constraints usually results in increased cost and reduced quality of service. Advanced workflow time management approaches allow the prediction of eventually arising time constraint violations and enables proactive initiation of evasive ”self healing” actions. This saves time, avoids unnecessary task-compensations and therefor decreases costs. In this paper we present an architecture for Web Service Composition environments which enables the usage of advanced predictive and proactive time management features.
منابع مشابه
Modelling and Analysis of Time-related Properties in Web Service Compositions
In this paper we present an approach for modelling and analyzing time-related properties of Web service compositions defined as a set of BPEL4WS processes. We introduce a formalism, called Web Service Timed State Transition Systems (WSTTS), to capture the timed behavior of the composite web services. We also exploit an interval temporal logic to express complex timed assumptions and requirement...
متن کاملImplementing Stochastically-Timed COWS for the Prism Probabilistic Model Checker
This thesispresents the implementationof theCOWS2Prism system, a compiler for stochastic COWS (Calculus for Orchestration of Web Services) into Prism. The process calculus COWS is intended to aid in the precise description of Web Services compositions. This places the present informal development approach associated with Web Services into a formal reasoning framework. The COWS calculus concerns...
متن کاملArchitectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملArchitectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملp-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL). This paper describes π-ADL for WS-Composition, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus. While most ADLs focus on describing stat...
متن کامل